5261. Symbolic and Quantiative Approaches to Resoning with Uncertainty :

پدیدآورنده:

کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)

موضوع: Artificial intelligence.,Computer science.,Logic design.

رده :
Q334
.
E358
2013

5262. Symbolic and Quantitative Approaches to Reasoning and Uncertainty :

پدیدآورنده:

کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)

موضوع: Artificial intelligence.,Computer Science,Computer science.

5263. Symbolic and Quantitative Approaches to Reasoning with Uncertainty.

پدیدآورنده:

کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)

موضوع: Uncertainty (Information theory) -- Congresses.,Artificial intelligence -- Congresses.,عدم قطعیت (نظریه اطلاعات) -- کنگره ها ,هوش مصنوعی-- کنگره‌ها

رده :
HB
133
.
S9
2015
E-Book
,

5264. Symbolic and numerical computation for artificial intelligence

پدیدآورنده:

کتابخانه: کتابخانه مرکزی دانشگاه صنعتی امیرکبیر (تهران)

موضوع: Artificial intelligence - Congresses

رده :
Q
335
.
S89
1990

5265. Symbolic and numerical computation for artificial intelligence

کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (تهران)

موضوع: ، Artificial intelligence-- Congresses,، Artificial intelligence

رده :
Q
335
.
S89
1992

5266. Symbolic and quantitative approaches to reasoning and uncertainty: European Conference ECSQARU '95, Fribourg, Switzerland, July 1995: proceedings

پدیدآورنده:

کتابخانه: کتابخانه مرکزی و مرکز اسناد دانشگاه شهید باهنر کرمان (کرمان)

موضوع: Congresses ، Artificial intelligence,Congresses ، Reasoning,Congresses ، Uncertainty )Information theory(

رده :
QA
76
.
L4
v
.
946

5267. Symbolic and quantitative approaches to reasoning and uncertainty : European conference, ECSQARU'99, London, UK, July 5-9, 1999, proceedings

پدیدآورنده:

کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)

موضوع: Congresses ، Artificial intelligence,Congresses ، Reasoning,Congresses ، Uncertainty )Information theory(

رده :
QA
76
.
L28
Vol
.
1638

5268. Symbolic and quantitative approaches to reasoning with uncertainty

پدیدآورنده:

کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه شهيد چمران (خوزستان)

موضوع: Artificial intelligence--Congresses,Reasoning--Congresses,Uncertainty (Information theory)--Congresses

رده :
Q
,
334
,.
E27
,
2007

5269. Symbolic and quantitative approaches to reasoning with uncertainty

کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه مازندران (مازندران)

موضوع: Artificial intelligence ; Congresses. ; Reasoning ; Congresses. ; Uncertainty (Information theory) ; Congresses. ;

5270. Symbolic and quantitative approaches to reasoning with uncertainty

کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه مازندران (مازندران)

موضوع: Artificial intelligence ; Congresses. ; Reasoning ; Congresses. ; Uncertainty (Information theory) ; Congresses. ;

5271. Symbolic and quantitative approaches to reasoning with uncertainty :

پدیدآورنده:

کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)

موضوع: Artificial intelligence, Congresses.,Reasoning, Congresses.,Uncertainty (Information theory), Congresses.

5272. Symbolic and quantitative approaches to reasoning with uncertainty

پدیدآورنده:

کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه شهيد چمران (خوزستان)

موضوع: Artificial intelligence--Congresses,Reasoning--Congresses,Uncertainty (Information theory)--Congresses

رده :
Q
,
334
,.
E27
,
2005
QA
,
75
,.
L4
,
vol
.,
3571

5273. Symbolic and quantitative approaches to reasoning with uncertainty : 8th European Conference, ECSQARU 2005, Barcelona, Spain, July 6-8, 2005 : proceedings

پدیدآورنده:

کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)

موضوع: Congresses ، Artificial intelligence,Congresses ، Reasoning,Congresses ، Uncertainty )Information theory(

رده :
QA
76
.
L28
Vol
.
3571

5274. Symbolic and quantitative approaches to reasoning with uncertainty : 7th European conference, ECSQARU 2003, Aalborg, Denmark, July 2-5, 2003 : prceedings

پدیدآورنده:

کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)

موضوع: Congresses ، Artificial intelligence,Congresses ، Reasoning,Congresses ، Uncertainty )Information theory(

رده :
QA
76
.
L28
Vol
.
2711

5275. Symbolic and quantitative approaches to reasoning with uncertainty : 6th European conference, ECSQARU 2001, Toulouse, France, September 19-21, 2001 : proceedings

پدیدآورنده:

کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)

موضوع: Congresses ، Artificial intelligence,Congresses ، Reasoning,Congresses ، Uncertainty )Information theory(

رده :
QA
76
.
L28
Vol
.
2143

5276. Symbolic logic and intelligent machines . English

پدیدآورنده:

کتابخانه: كتابخانه و مركز اسناد بنياد ايران شناسى (تهران)

موضوع: Artificial intelligence,Logic, Symbolic and mathematical

رده :
QA
76
.
B42
1961

5277. Symbolic logic and mechanical theorem proving

پدیدآورنده:

کتابخانه: كتابخانه مركزی دانشگاه بين المللی امام خمينی (ره) قزوين (قزوین)

موضوع: Logic, Symbolic and mathematical,Automatic theorem proving,Artificial intelligence

رده :
QA
.
C483
9
1987

5278. Symbolic logic and mechanical theorem proving

پدیدآورنده :

موضوع : ، Logic, Symbolic and mathemaical,، Automatic theorem proving,، Artificial intelligence

۳ نسخه از این کتاب در ۳ کتابخانه موجود است.

5279. Symposium on Computer Augmentation of Human Reasoning; ]proceedings[

کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (تهران)

موضوع: ، Artificial intelligence-- Congresses,، Electronic data processing-- Congresses

رده :
Q
335
.
S9
1964

5280. Symposium on real-time and hybrid systems :

پدیدآورنده:

کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)

موضوع: Formal methods (Computer science),Software engineering.,Artificial Intelligence.,Programming Languages, Compilers, Interpreters.,Software Engineering.,System Performance and Evaluation.,Theory of Computation.,Artificial intelligence.,Computer science.,Computers-- Computer Science.,Computers-- Hardware-- Handheld Devices.,Computers-- Intelligence (AI) & Semantics.,Computers-- Programming Languages-- General.,Computers-- Software Development & Engineering-- General.,Formal methods (Computer science),Programming & scripting languages: general.,Software engineering.,Software Engineering.,Systems analysis & design.

رده :
QA76
.
758